DUGi: Llistar Títols | dc.subject:"Pseudo-Boolean constraints" | 0 - 1

Llistar Títols

S'ha trobat un ítem:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	15 juliol 2019	Scheduling through logic-based tools	Coll Caballero, Jordi

1

Matèries

51 - Matemàtiques 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automàtica Programació de tasques Programación de tareas Pseudo-Boolean constraints Restriccions pseudo-Booleanes Satisfiability modulo theories

Autors

Suy Franch, Josep Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-) Coll Caballero, Jordi Villaret i Ausellé, Mateu